$\forall$$i$:$\mathbb{Z}$, $E$:(\{$i$$\ldots\,$\}$\rightarrow\mathbb{P}$\{u\}). $E$($i$) $\Rightarrow$ ($\forall$$k$:\{$i$+1$\ldots\,$\}. $E$($k$ {-} 1) $\Rightarrow$ $E$($k$)) $\Rightarrow$ \{$\forall$$k$:\{$i$$\ldots\,$\}. $E$($k$)\}